Correctness of concurrent executions of closed nested transactions in transactional memory systems
نویسندگان
چکیده
منابع مشابه
Correctness of Concurrent Executions of Closed Nested Transactions in Transactional Memory Systems
A generally agreed upon requirement for correctness of concurrent executions in Transactional Memory is that all transactions including the aborted ones read consistent values. Opacity is a recently proposed correctness criterion that satisfies the above requirement. Our first contribution in this paper is extending the opacity definition for closed nested transactions. Secondly, we define a re...
متن کاملTransactional Correctness for Secure Nested Transactions
Secure Nested Transactions are an adaptation of traditional nested transactions to support the synergy of language-based security and multi-level database security. They have application in security for enterprise applications, where transactional semantics are a critical feature in middleware systems. This article considers correctness in terms of transactional properties for secure nested tra...
متن کاملScheduling Open-Nested Transactions in Distributed Transactional Memory
Distributed transactional memory (DTM) is a powerful concurrency control model for distributed systems sparing the programmer from the complexity of manual implementation of lock-based distributed synchronization. We consider Herlihy and Sun’s dataflow DTM model, where objects are migrated to invoking transactions, and the open nesting model of managing inner (distributed) transactions. In this...
متن کاملCorrectness of Request Executions in Online Updates of Concurrent Programs
Online update is a technique which reduces the disruption caused during software update by applying a patch to a running process. It is a challenge to update a process while ensuring that it continues to operate correctly during and after the update. Most of the continuously running processes concurrently execute the requests arriving in a stream. Online update should guarantee a correct outcom...
متن کاملSecurity Correctness for Secure Nested Transactions
This article considers the synthesis of two long-standing lines of research in computer security: security correctness for multilevel databases, and language-based security. The motivation is an approach to supporting multilevel and multilateral security for a wide class of enterprise applications, those of concurrent transactional applications. The approach extends nested transactions with ret...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2013
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2013.01.024